21. A synopsis of opthalmology. 4th ed.
پدیدآورنده : John Lionel Cyril Martin DOYLE
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
RE46
.
J646
1971
22. ACCESS Magazine Spring 1999
پدیدآورنده : Cervero, Robert; Cohn, Theodore E.; Gomez-Ibanez, Jose A.; Hill, Mary; Landis, John; Levine, Jonathan; Taylor, Brian; Wachs, Martin; Editor(s): Webber, Melvin M.; Lave, Charles; Curry, Melanie; Nisbet, Briggs; Saephanh, Chow
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
23. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
24. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
25. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
26. Adlai Stevenson and the world: The life of Adlai E. Stevenson
پدیدآورنده : Martin, John Bartlow 5191-7891
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
E
740
.
M3
A3
1977
27. Adlai Stevenson of Illinois : the life of Adlai E. Stevenson
پدیدآورنده : Martin, John Bartlow 1915-1987.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
E
740
.
M3
A3
1976
28. Adlai Stevenson of Illinois: the life of Adlai E. Stevenson
پدیدآورنده : John Bartlow Martin
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع : Stevenson, Adlai E. (Adlai Ewing), 1900-1965
29. Advances in morphology/
پدیدآورنده : edited by Wolfgang U. Dressler, Martin Prinzhorn, John R. Rennison
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Grammar, Comparative and general-- Morphology
رده :
P241
.
A37
1997
30. Agricultural price distortions, inequality, and poverty /
پدیدآورنده : Kym Anderson, John Cockburn, and Will Martin, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Agricultural prices-- Government policy.,Agricultural wages-- Developing countries.,Farm income-- Developing countries.,Poverty.,Agricultural prices-- Government policy.,Agricultural wages.,BUSINESS & ECONOMICS-- Economics-- Macroeconomics.,Farm income.,POLITICAL SCIENCE-- Economic Conditions.,Poverty.,Developing countries., 7
رده :
HD1447
.
A37
2010
31. Alan M. Turing /
پدیدآورنده : Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
T8
2012
32. Algebra
پدیدآورنده : / John D. Baley, Martin Holstege,Baley
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Algebra
رده :
QA
152
.
2
.
B34
1990
33. Algebra: A first course
پدیدآورنده : John D. Baley, Martin Holstege
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Algebra
رده :
QA
،
152
.
2
،.
B34
،
1990
34. Algeria
پدیدآورنده : / Martin Evans , John Phillips.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
رده :
DT295
.
5
.
E92
2007
35. Alternative approaches in multilateral decision making
پدیدآورنده : /John Borrie and Vanessa Martin Randin, editors.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع :
36. Alternative approaches in multilateral decision making
پدیدآورنده : / John Borrie and Vanessa Martin Randin, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Disarmament.,Arms control.
رده :
JZ
,
5625
,.
A48
,
2005
37. Alternative approaches in multilateral decision making :
پدیدآورنده : John Borrie and Vanessa Martin Randin, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Arms control.,Disarmament.,Armements-- Contrôle.,Désarmement.,Arms control.,Control de armas.,Desarme.,Disarmament.,International Relations.,Law, Politics & Government.,Onderhandelingen.,Ontwapening.,POLITICAL SCIENCE-- General.,Verdragen.,Wapenbeheersing.
رده :
JZ5625
.
A48
2005eb
38. An evolutionary paradigm for international law :
پدیدآورنده : John Martin Gillroy
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Hume, David,1711-1776,International law-- Philosophy,Recognition (International law),Sovereignty
رده :
KZ4041
.
G55
2013
39. Analysis and Continuum Mechanics :
پدیدآورنده : by Stuart S. Antman, Haïm Brezis, Bernard D. Coleman, Martin Feinberg, John A. Nohel, William P. Ziemer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Continuum Mechanics and Mechanics of Materials.,Engineering.,Mathematical Methods in Physics.
رده :
QA300
.
5
B978
1989
40. Anarchy, geography, modernity :
پدیدآورنده : edited and translated by John P. Clark and Camille Martin ; with an introductory essay by John Clark.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Reclus, Elisée,1830-1905.,Anarchism-- France.,Anarchism.,Human geography.,Social change.
